Synchrony and asynchrony in conformance testing
نویسندگان
چکیده
منابع مشابه
From Synchrony to Asynchrony
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملAsynchrony from Synchrony
We consider synchronous dynamic networks which like radio networks may have asymmetric communication links, and are affected by communication rather than processor failures. In this paper we investigate the minimal message survivability in a per round basis that allows for the minimal global cooperation, i.e., allows to solve any task that is wait-free read-write solvable. The paper completely ...
متن کاملCalculi for Synchrony and Asynchrony
A calculus for distributed computation is studied, based upon four combinators. A ccntrai idea is an Abclian group of actions which models the interfaces between components of a distributed computing agent. Using a notion of bisimulation, congruence relations are defined over computing agents, and thence an algebraic theory is derived. The calculus models both synchronous and asvnchronous compu...
متن کاملSynchrony and Asynchrony in Membrane Systems
We consider synchrony and asynchrony in the behaviour of various models of membrane systems, which may differ in the way individual reactions are defined as well as in the way multisets of these reactions can be executed in a single computational step. We concentrate on the properties of ongoing computations, including the unbounded ones. Our focus is on the properties of system states involved...
متن کاملSynchrony vs Asynchrony in Communication Primitives
We study, from the expressiveness point of view, the impact of synchrony in the communication primitives that arise when combining together some common and useful programming features like arity of data, communication medium and possibility of pattern matching. For some primitives, we show how their synchronous version can be encoded in their asynchronous counterpart via a fully abstract encodi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2013
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-012-0302-8